61. Formal methods for the design of real-time systems
پدیدآورنده: / Marco Bernardo, Flavio Corradini (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Real-time data processing--Congresses,Formal methods (Computer science)--Congresses,Computer systems--Congresses,Computer software--Congresses
رده :
QA
,
76
.
54
,.
I575
,
2004
62. Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures
پدیدآورنده: Marco Bernardo, Flavio Corradini )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Real-time control,Congresses ، Real-time programming,Congresses ، Real-time data processing,Congresses ، Computer systems,Congresses ، Telecommunication systems
رده :
QA
76
.
L28
Vol
.
3185
63. Formal techniques in real-time and fault-tolerant systems : Proceedings of a Symposium, Warwick, UK. September 22-23, 1988
پدیدآورنده: M. Joseph, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Real-time data processing,Congresses ، Fault-tolerant computing
رده :
QA
76
.
L28
Vol
.
331
64. Formal techniques in real-time and fault-tolerant systems : Second International Symposium Nijmegen, The Netherlands, January 8-10, 1992 : proceedings
پدیدآورنده: J. Vytopil )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Real-time data processing,Congresses ، Fault-tolerant computing
رده :
QA
76
.
L28
Vol
.
571
65. Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Real-time data processing-- Congresses,، Fault-tolerant computing-- Congresses
رده :
QA
76
.
54
.
F66
1988
66. Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings
پدیدآورنده: J. Vytopil )ed.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Real-time data processing,Congresses ، Fault-tolerant computing
رده :
QA
76
.
54
.
F66
1991
67. Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000
پدیدآورنده: Mathai Joseph )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Real-time data processing,Congresses ، Fault-tolerant computing
رده :
QA
76
.
L28
Vol
.
1926
68. Formal techniques in real-time and fault-tolerant systems : 7th International Symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002 : proceedings
پدیدآورنده: Werner Damm, Ernst-Rudiger Olderog )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Real-time data processing,Congresses ، Fault-tolerant computing
رده :
QA
76
.
L28
Vol
.
2469
69. Formal techniques in real-time and fault-tolerant systems : 4th International Symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings
پدیدآورنده: Bengt Jonsson, Joachim Parrow )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Real-time data processing,Congresses ، Fault-tolerant computing
رده :
QA
76
.
L28
Vol
.
1135
70. Formal techniques in real-time and fault-tolerant systems : 5th International symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998 : proceedings
پدیدآورنده: Anders P. Ravn, Hans Rischel )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Real-time data processing,Congresses ، Fault-tolerant computing
رده :
QA
76
.
L28
Vol
.
1486
71. Formal techniques in real-time and fault-tolerant systems : third International symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lubeck, Germany, Sept. 19-23, 1994
پدیدآورنده: H. Langmaack, W.-P. de Roever, J. Vytopil, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Real-time data processing,Congresses ، Fault-tolerant computing
رده :
QA
76
.
L28
Vol
.
863
72. Fundamental theories in physics
پدیدآورنده: / edt. Stephan L. Mintz...[et al.]
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Nuclear reactions - Congresses,Particles (Nuclear physics) - Congresses,Space and time - Congresses,Stars Evolutions - Congresses
رده :
530
O64
73. Fundamental theories in physics
پدیدآورنده: / Orbis Scientiae moderators: Donald Glaser [and others] Editors: Stephan L. Mintz, Laurence Mittag [and] Susan M. Widmayer. Scientific secretaries: Chui-Shuen Hui [and] Joseph F. Malerba
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Nuclear reactions- Congresses,Particles (Nuclear physics)- Congresses,Space and time- Congresses,Stars- Evolution- Congresses
رده :
QC793
.
9
.
O72
1974
74. Fundamental theories in physics; ]proceedings[
پدیدآورنده: Orbis Scientiae, 4791, University of Miami
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Nuclear reactions-- Congresses,، Particles )Nuclear physics(-- Congresses,، Space and time-- Congresses,، Stars-- Evolution-- Congresses
رده :
QC
793
.
9
.
O72
1974
75. Games, economic dynamics, and time series analysis :
پدیدآورنده: edited by M. Deistler, E. Fürst, and G. Schwödiauer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Economic development-- Mathematical models-- Congresses,Economics, Mathematical-- Congresses,Game theory-- Congresses,Time-series analysis-- Congresses
76. Hardware and software for real time process control :proceedings of the IFIP WG 5.4/IFAC/EWICS Working Conference on Hard for Real Time Process Control, Warsaw, Poland, 30 M ay-1 June, 1988
پدیدآورنده: edited by Janusz Zalewski, Wolfgang Ehrenberger
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Process control--Data processing--Congresses,Real-time control--Congresses
رده :
TS
،
156
.
8
،.
I35
،
1988
77. Hardware and software for real time process control : proceedings of the IFIP WG 5.4/IFAC/EWICS Working Conference on Hardware and Software for Real Time Process Control, Warsaw, Poland, 30 May- 1 June, 1988
پدیدآورنده: IFIP WG 5.4/IFAC/EWICS Working Conference on Hardware and Software for Real Time Process Control )8891 : Warsaw, Poland(
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Process control- Data processing- Congresses,، Real- time control- Congresses
رده :
TS
156
.
8
.
I35
1988
78. Hybrid and real-time systems : International Workshop, HART'97 Grenoble, France, March 26-28, 1997 : proceedings
پدیدآورنده: Oded maler )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Hybrid computers,Congresses ، Real-time data processing,Congresses ، Digital control systems
رده :
QA
76
.
L28
Vol
.
1201
79. #IEEE ICCV Workshop on Recognition, Analysis, and Tracking of Faces and Gestures in Real-Time Systems
پدیدآورنده: #sponsored by IEEE Computer Society, Cognitec, IBM
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Optical pattern recognition- Congresses ،Face perception- Data processing- Congresses ،Gesture- Congresses ،Image processing- Digital techniques- Congresses ،Real-time data processing- Congresses
رده :
#
TA
،#.
I3495
،#
2001
80. Identification of continuous-time models from sampled data
پدیدآورنده: / Hugues Garnier, Liuping Wang, editors
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Linear time invariant systems--Mathematical models--Congresses,Automatic control--Congresses
رده :
TJ
,
220
,.
I34
,
2008
